Efficient Retrieval of Mathematical Statements
نویسندگان
چکیده
The paper describes an innovative technique for efficient retrieval of mathematical statements from large repositories, developing and substantially improving the metadata-based approach introduced in [13].
منابع مشابه
Chaotic Test and Non-Linearity of Abnormal Stock Returns: Selecting an Optimal Chaos Model in Explaining Abnormal Stock Returns around the Release Date of Annual Financial Statements
For many investors, it is important to predict the future trend of abnormal stock returns. Thus, in this research, the abnormal stock returns of the listed companies in Tehran Stock Exchange were tested since 2008- 2017 using three hypotheses. The first and second hypotheses examined the non-linearity and non-randomness of the abnormal stock returns ′ trend around the release date of annual fin...
متن کاملThe Annual Report Algorithm: Retrieval of Financial Statements and Extraction of Textual Information
U.S. corporations are obligated to file financial statements with the U.S. Securities and Exchange Commission (SEC). The SEC ́s Electronic Data Gathering, Analysis, and Retrieval (EDGAR) system containing millions of financial statements is one of the most important sources of corporate information available. The paper illustrates which financial statements are publicly available by analyzing th...
متن کاملIntroduction to Interactive Proofs & The Sumcheck Protocol
Traditional mathematical proofs are static objects: a prover P writes down a sequence of mathematical statements, and then at some later time a verifier V checks that these statements are consistent and correct. Over the years, computer science has changed the notion of a mathematical proof. The first such change was the observation that for all practical purposes, the verification procedure sh...
متن کاملDocument Image Retrieval Based on Keyword Spotting Using Relevance Feedback
Keyword Spotting is a well-known method in document image retrieval. In this method, Search in document images is based on query word image. In this Paper, an approach for document image retrieval based on keyword spotting has been proposed. In proposed method, a framework using relevance feedback is presented. Relevance feedback, an interactive and efficient method is used in this paper to imp...
متن کاملSignatures of Memory: Brain Coactivations during Retrieval Distinguish Correct from Incorrect Recollection
Are specific distributed coactivations in the brain during memory retrieval a signature of retrieval outcome? Here we show that this is indeed the case. Widespread brain networks were reported to be involved in the retrieval of long-term episodic memories. Although functional coactivation among particular regions occurs during episodic memory retrieval, it is unknown to what extent it contribut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004